Computed microtomography visualization and quantification of mouse ischemic brain lesion by nonionic radio contrast agents.

AIM: To explore the possibility of brain imaging by microcomputed tomography (microCT) using x-ray contrasting methods to visualize mouse brain ischemic lesions after middle cerebral artery occlusion (MCAO). ----- METHODS: Isolated brains were immersed in ionic or nonionic radio contrast agent (RCA) for 5 days and subsequently scanned using microCT scanner. To verify whether ex-vivo microCT brain images can be used to characterize ischemic lesions, they were compared to Nissl stained serial histological sections of the same brains. To verify if brains immersed in RCA may be used afterwards for other methods, subsequent immunofluorescent labeling with anti-NeuN was performed. ----- RESULTS: Nonionic RCA showed better gray to white matter contrast in the brain, and therefore was selected for further studies. MicroCT measurement of ischemic lesion size and cerebral edema significantly correlated with the values determined by Nissl staining (ischemic lesion size: P=0.0005; cerebral edema: P=0.0002). Brain immersion in nonionic RCA did not affect subsequent immunofluorescent analysis and NeuN immunoreactivity. ----- CONCLUSION: MicroCT method was proven to be suitable for delineation of the ischemic lesion from the non-infarcted tissue, and quantification of lesion volume and cerebral edema

A First Look at Rotation in Inactive Late-Type M Dwarfs

We have examined the relationship between rotation and activity in 14 late-type (M6-M7) M dwarfs, using high resolution spectra taken at the W.M. Keck Observatory and flux-calibrated spectra from the Sloan Digital Sky Survey. Most were selected to be inactive at a spectral type where strong H-alpha emission is quite common. We used the cross-correlation technique to quantify the rotational broadening; six of the stars in our sample have vsini > 3.5 km/s. Our most significant and perplexing result is that three of these stars do not exhibit H-alpha emission, despite rotating at velocities where previous work has observed strong levels of magnetic field and stellar activity. Our results suggest that rotation and activity in late-type M dwarfs may not always be linked, and open several additional possibilities including a rotationally-dependent activity threshold, or a possible dependence on stellar parameters of the Rossby number at which magnetic/activity "saturation" takes place in fully convective stars.Comment: 8 pages, 4 figures, accepted for publication in Ap

Adesmia horrida Gillies ex Hook. & Arn.

Valle del Río BonetepublishedVersio

Towards a Notion of Distributed Time for Petri Nets

We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. The novelty is that, rather than a single global clock, we use a set of unrelated clocks --- possibly one per place --- allowing a local timing as well as distributed time synchronisation. We give a formal definition of the model and investigate properties of local versus global timing, including decidability issues and notions of processes of the respective models

The Wnt pathway controls cell death engulfment, spindle orientation, and migration through CED-10/Rac

Wnt signalling pathways have extremely diverse functions in animals, including induction of cell fates or tumours, guidance of cell movements during gastrulation, and the induction of cell polarity. Wnt can induce polar changes in cellular morphology by a remodelling of the cytoskeleton. However, how activation of the Frizzled receptor induces cytoskeleton rearrangement is not well understood. We show, by an in depth 4-D microscopy analysis, that the Caenorhabditis elegans Wnt pathway signals to CED-10/Rac via two separate branches to regulate modulation of the cytoskeleton in different cellular situations. Apoptotic cell clearance and migration of the distal tip cell require the MOM-5/Fz receptor, GSK-3 kinase, and APC/APR-1, which activate the CED-2/5/12 branch of the engulfment machinery. MOM-5 (Frizzled) thus can function as an engulfment receptor in C. elegans. Our epistatic analyses also suggest that the two partially redundant signalling pathways defined earlier for engulfment may act in a single pathway in early embryos. By contrast, rearrangement of mitotic spindles requires the MOM-5/Fz receptor, GSK-3 kinase, and beta-catenins, but not the downstream factors LIT-1/NLK or POP-1/Tcf. Taken together, our results indicate that in multiple developmental processes, CED-10/Rac can link polar signals mediated by the Wnt pathway to rearrangements of the cytoskeleton

A model checking-based approach for security policy verification of mobile systems

International audienceThis article describes an approach for the automated verification of mobile systems. Mobile systems are characterized by the explicit notion of (e.g., sites where they run) and the ability to execute at different locations, yielding a number of security issues. To this aim, we formalize mobile systems as Labeled Kripke Structures, encapsulating the notion of that describes the hierarchical nesting of the threads constituting the system. Then, we formalize a generic that includes rules for expressing and manipulating the code location. In contrast to many other approaches, our technique supports both access control and information flow specification. We developed a prototype framework for model checking of mobile systems. It works directly on the program code (in contrast to most traditional process-algebraic approaches that can model only limited details of mobile systems) and uses abstraction-refinement techniques, based also on location abstractions, to manage the program state space. We experimented with a number of mobile code benchmarks by verifying various security policies. The experimental results demonstrate the validity of the proposed mobile system modeling and policy specification formalisms and highlight the advantages of the model checking-based approach, which combines the validation of security properties with other checks, such as the validation of buffer overflows

Linking Demand with Supply for Tropical Forage Genetic Resources to Reach Impact at Scale

Over the last decades a wealth of information on tropical forage genetic resources has been collated and is accessible to users ranging from farmers, development practitioners and researchers to decision makers and academia, e.g. through online tools such as Tropical Forages: An interactive selection tool (www.tropicalforages.info). However, while genetic diversity is being conserved by international gene banks, adoption of improved tropical forages is still far from reaching its full potential. Major bottlenecks in our view include lack of awareness of available forage genetic resources, confirmation of adaptation in a wide range of bio-physical, socio-economic, political and cultural contexts and functionality of financing, extension and seed supply systems. This paper discusses the potential for adoption of tropical forages in the context of new opportunities by market driven innovation, and presents early successes using as examples improved Urochloa spp., Megathyrsus maximus and other grass and legume germplasm, while describing possible pathways to go to scale with small and medium size livestock producers. We use examples of approaches from the tropical Americas, tropical Africa and tropical Asia, including partnerships with the private sector in diverse market environments (e.g. Africa and Latin America) and network approaches (Asia)

Enhancing food security in Latin America with forage legumes

Forage legumes could enhance ruminant production in Latin America far more than they currently do. With a few instructive exceptions, decades invested in domesticating, testing and divulgating pasture and rangeland species have had limited impact. Reasons include lack of end-user involvement in research and development, inadequate commercial seed sources, low persistence under grazing, and substitution with industrial nitrogen fertilizer. Current efforts to improve legume adoption include research on domestication of new species especially natives, grass-legume mixtures, silvopasture, protein banks, and mitigating anti-nutritive components. Future challenges might include a greater focus on economical seed production, establishment in multi-species plantings, persistence under grazing, sustainable intensification, domesticating local germplasm, ecosystems services, multiple uses, harnessing condensed tannins, and greater crop-livestock integration of legumes. We believe that these and other innovations make the future of forage legumes very promising in Latin America.Forage legumes could enhance ruminant production in Latin America far more than they currently do. With a few instructive exceptions, decades invested in domesticating, testing and divulgating pasture and rangeland species have had limited impact. Reasons include lack of end-user involvement in research and development, inadequate commercial seed sources, low persistence under grazing, and substitution with industrial nitrogen fertilizer. Current efforts to improve legume adoption include research on domestication of new species especially natives, grass-legume mixtures, silvopasture, protein banks, and mitigating anti-nutritive components. Future challenges might include a greater focus on economical seed production, establishment in multi-species plantings, persistence under grazing, sustainable intensification, domesticating local germplasm, ecosystem services, multiple uses, harnessing condensed tannins, and greater crop-livestock integration of legumes. We believe that these and other innovations make the future of forage legumes very promising in Latin America

Multiwavelength periodicity study of Markarian 501

Context: Active Galactic Nuclei are highly variable emitters of electromagnetic waves from the radio to the gamma-ray regime. This variability may be periodic, which in turn could be the signature of a binary black hole. Systems of black holes are strong emitters of gravitational waves whose amplitude depends on the binary orbital parameters as the component mass, the orbital semi-major-axis and eccentricity. Aims: It is our aim to prove the existence of periodicity of the AGN Markarian 501 from several observations in different wavelengths. A simultaneous periodicity in different wavelengths provides evidence for bound binary black holes in the core of AGN. Methods: Existing data sets from observations by Whipple, SWIFT, RXTE and MAGIC have been analysed with the Lomb-Scargle method, the epoch folding technique and the SigSpec software. Results: Our analysis shows a 72-day period, which could not be seen in previous works due to the limited length of observations. This does not contradict a 23-day period which can be derived as a higher harmonic from the 72-day period.Comment: 9 pages, 15 figures, accepted at A&

Large-scale genome-wide association studies and meta-analyses of longitudinal change in adult lung function.

BACKGROUND: Genome-wide association studies (GWAS) have identified numerous loci influencing cross-sectional lung function, but less is known about genes influencing longitudinal change in lung function. METHODS: We performed GWAS of the rate of change in forced expiratory volume in the first second (FEV1) in 14 longitudinal, population-based cohort studies comprising 27,249 adults of European ancestry using linear mixed effects model and combined cohort-specific results using fixed effect meta-analysis to identify novel genetic loci associated with longitudinal change in lung function. Gene expression analyses were subsequently performed for identified genetic loci. As a secondary aim, we estimated the mean rate of decline in FEV1 by smoking pattern, irrespective of genotypes, across these 14 studies using meta-analysis. RESULTS: The overall meta-analysis produced suggestive evidence for association at the novel IL16/STARD5/TMC3 locus on chromosome 15 (P  =  5.71 × 10(-7)). In addition, meta-analysis using the five cohorts with ≥3 FEV1 measurements per participant identified the novel ME3 locus on chromosome 11 (P  =  2.18 × 10(-8)) at genome-wide significance. Neither locus was associated with FEV1 decline in two additional cohort studies. We confirmed gene expression of IL16, STARD5, and ME3 in multiple lung tissues. Publicly available microarray data confirmed differential expression of all three genes in lung samples from COPD patients compared with controls. Irrespective of genotypes, the combined estimate for FEV1 decline was 26.9, 29.2 and 35.7 mL/year in never, former, and persistent smokers, respectively. CONCLUSIONS: In this large-scale GWAS, we identified two novel genetic loci in association with the rate of change in FEV1 that harbor candidate genes with biologically plausible functional links to lung function